A circuit that has 3 parts:
Basically it's a machine that changes its state and output based on the input and the previous state.
There are two types of FSM:
You input, you get into a state, you output the output that corresponds to this state.
Eventually we will have to turn transition tables into equations.
And we will need to represent states into this equation, so we encode the states like this:
This is an example of output table for Moore FSM, useful for comparison with Mealy FSM:
Otherwise we don't really give a damn.
The following diagram is a high level representation of a Moore FSM, we will go into details:
In the Moore FSM, the arcs between states indicated the input, now they indicate both input and output:
When you work with Mealy FSM, you need to specify the output table:
Input transitions:
Output transitions:
Loop transitions: